lexicographic product